how to write a batch file to ping multiple ip addresses